0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇒, 673 ms)
↳2 Prolog
↳3 PrologToPiTRSProof (⇒, 182 ms)
↳4 PiTRS
↳5 DependencyPairsProof (⇔, 454 ms)
↳6 PiDP
↳7 DependencyGraphProof (⇔, 11 ms)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔, 0 ms)
↳11 PiDP
↳12 PiDPToQDPProof (⇔, 0 ms)
↳13 QDP
↳14 QDPSizeChangeProof (⇔, 4 ms)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔, 0 ms)
↳18 PiDP
↳19 PiDPToQDPProof (⇒, 0 ms)
↳20 QDP
↳21 QDPSizeChangeProof (⇔, 0 ms)
↳22 YES
↳23 PiDP
↳24 UsableRulesProof (⇔, 0 ms)
↳25 PiDP
↳26 PiDPToQDPProof (⇒, 0 ms)
↳27 QDP
↳28 QDPSizeChangeProof (⇔, 0 ms)
↳29 YES
deleteD_in_gag(T6, tree(T6, void, T7), T7) → deleteD_out_gag(T6, tree(T6, void, T7), T7)
deleteD_in_gag(T10, tree(T10, T11, void), T11) → deleteD_out_gag(T10, tree(T10, T11, void), T11)
deleteD_in_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32)) → deleteD_out_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32))
deleteD_in_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_in_agg(T63, T60, T61))
delminA_in_agg(tree(T76, void, T77), T76, T77) → delminA_out_agg(tree(T76, void, T77), T76, T77)
delminA_in_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → U1_agg(T90, T96, T92, T93, T94, T95, delminA_in_agg(T96, T93, T94))
U1_agg(T90, T96, T92, T93, T94, T95, delminA_out_agg(T96, T93, T94)) → delminA_out_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95))
U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_out_agg(T63, T60, T61)) → deleteD_out_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62)))
deleteD_in_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → U12_gag(T121, T122, T126, T124, T125, pE_in_ggag(T121, T122, T126, T125))
pE_in_ggag(T121, T122, T126, T125) → U5_ggag(T121, T122, T126, T125, lessB_in_gg(T121, T122))
lessB_in_gg(0, s(T135)) → lessB_out_gg(0, s(T135))
lessB_in_gg(s(T140), s(T141)) → U2_gg(T140, T141, lessB_in_gg(T140, T141))
U2_gg(T140, T141, lessB_out_gg(T140, T141)) → lessB_out_gg(s(T140), s(T141))
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → pE_out_ggag(T121, T122, T126, T125)
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → U6_ggag(T121, T122, T126, T125, deleteD_in_gag(T121, T126, T125))
deleteD_in_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → U13_gag(T158, T159, T160, T163, T162, pC_in_ggag(T159, T158, T163, T162))
pC_in_ggag(T159, T158, T163, T162) → U3_ggag(T159, T158, T163, T162, lessB_in_gg(T159, T158))
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → pC_out_ggag(T159, T158, T163, T162)
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → U4_ggag(T159, T158, T163, T162, deleteD_in_gag(T158, T163, T162))
deleteD_in_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → U14_gag(T187, T182, T180, T181, deleteD_in_gag(0, T182, T181))
deleteD_in_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → U15_gag(T198, T199, T182, T180, T181, pF_in_ggag(T198, T199, T182, T181))
pF_in_ggag(T198, T199, T182, T181) → U7_ggag(T198, T199, T182, T181, lessB_in_gg(T198, T199))
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → pF_out_ggag(T198, T199, T182, T181)
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → U8_ggag(T198, T199, T182, T181, deleteD_in_gag(s(T198), T182, T181))
deleteD_in_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222)) → U16_gag(T218, T219, T220, T223, T222, pC_in_ggag(T219, T218, T223, T222))
U16_gag(T218, T219, T220, T223, T222, pC_out_ggag(T219, T218, T223, T222)) → deleteD_out_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222))
deleteD_in_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → U17_gag(T241, T233, T236, T235, deleteD_in_gag(s(T241), T236, T235))
deleteD_in_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → U18_gag(T251, T250, T233, T236, T235, pG_in_ggag(T250, T251, T236, T235))
pG_in_ggag(T250, T251, T236, T235) → U9_ggag(T250, T251, T236, T235, lessB_in_gg(T250, T251))
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → pG_out_ggag(T250, T251, T236, T235)
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → U10_ggag(T250, T251, T236, T235, deleteD_in_gag(s(T251), T236, T235))
deleteD_in_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310))) → U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_in_agg(T311, T308, T309))
U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_out_agg(T311, T308, T309)) → deleteD_out_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310)))
deleteD_in_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339)) → U20_gag(T336, T337, T341, T339, T340, pE_in_ggag(T336, T337, T341, T340))
U20_gag(T336, T337, T341, T339, T340, pE_out_ggag(T336, T337, T341, T340)) → deleteD_out_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339))
deleteD_in_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358)) → U21_gag(T354, T355, T356, T359, T358, pC_in_ggag(T355, T354, T359, T358))
U21_gag(T354, T355, T356, T359, T358, pC_out_ggag(T355, T354, T359, T358)) → deleteD_out_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358))
deleteD_in_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370)) → U22_gag(T377, T372, T370, T371, deleteD_in_gag(0, T372, T371))
deleteD_in_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370)) → U23_gag(T388, T389, T372, T370, T371, pF_in_ggag(T388, T389, T372, T371))
U23_gag(T388, T389, T372, T370, T371, pF_out_ggag(T388, T389, T372, T371)) → deleteD_out_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370))
deleteD_in_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406)) → U24_gag(T402, T403, T404, T407, T406, pC_in_ggag(T403, T402, T407, T406))
U24_gag(T402, T403, T404, T407, T406, pC_out_ggag(T403, T402, T407, T406)) → deleteD_out_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406))
deleteD_in_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419)) → U25_gag(T425, T417, T420, T419, deleteD_in_gag(s(T425), T420, T419))
deleteD_in_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419)) → U26_gag(T435, T434, T417, T420, T419, pG_in_ggag(T434, T435, T420, T419))
U26_gag(T435, T434, T417, T420, T419, pG_out_ggag(T434, T435, T420, T419)) → deleteD_out_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419))
deleteD_in_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492))) → U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_in_agg(T493, T490, T491))
U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_out_agg(T493, T490, T491)) → deleteD_out_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492)))
deleteD_in_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521)) → U28_gag(T518, T519, T523, T521, T522, pE_in_ggag(T518, T519, T523, T522))
U28_gag(T518, T519, T523, T521, T522, pE_out_ggag(T518, T519, T523, T522)) → deleteD_out_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521))
deleteD_in_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540)) → U29_gag(T536, T537, T538, T541, T540, pC_in_ggag(T537, T536, T541, T540))
U29_gag(T536, T537, T538, T541, T540, pC_out_ggag(T537, T536, T541, T540)) → deleteD_out_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540))
deleteD_in_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552)) → U30_gag(T559, T554, T552, T553, deleteD_in_gag(0, T554, T553))
deleteD_in_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552)) → U31_gag(T570, T571, T554, T552, T553, pF_in_ggag(T570, T571, T554, T553))
U31_gag(T570, T571, T554, T552, T553, pF_out_ggag(T570, T571, T554, T553)) → deleteD_out_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552))
deleteD_in_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588)) → U32_gag(T584, T585, T586, T589, T588, pC_in_ggag(T585, T584, T589, T588))
U32_gag(T584, T585, T586, T589, T588, pC_out_ggag(T585, T584, T589, T588)) → deleteD_out_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588))
deleteD_in_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601)) → U33_gag(T607, T599, T602, T601, deleteD_in_gag(s(T607), T602, T601))
deleteD_in_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601)) → U34_gag(T617, T616, T599, T602, T601, pG_in_ggag(T616, T617, T602, T601))
U34_gag(T617, T616, T599, T602, T601, pG_out_ggag(T616, T617, T602, T601)) → deleteD_out_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601))
deleteD_in_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670))) → U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_in_agg(T671, T668, T669))
U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_out_agg(T671, T668, T669)) → deleteD_out_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670)))
deleteD_in_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699)) → U36_gag(T696, T697, T701, T699, T700, pE_in_ggag(T696, T697, T701, T700))
U36_gag(T696, T697, T701, T699, T700, pE_out_ggag(T696, T697, T701, T700)) → deleteD_out_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699))
deleteD_in_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718)) → U37_gag(T714, T715, T716, T719, T718, pC_in_ggag(T715, T714, T719, T718))
U37_gag(T714, T715, T716, T719, T718, pC_out_ggag(T715, T714, T719, T718)) → deleteD_out_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718))
deleteD_in_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730)) → U38_gag(T737, T732, T730, T731, deleteD_in_gag(0, T732, T731))
deleteD_in_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730)) → U39_gag(T748, T749, T732, T730, T731, pF_in_ggag(T748, T749, T732, T731))
U39_gag(T748, T749, T732, T730, T731, pF_out_ggag(T748, T749, T732, T731)) → deleteD_out_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730))
deleteD_in_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766)) → U40_gag(T762, T763, T764, T767, T766, pC_in_ggag(T763, T762, T767, T766))
U40_gag(T762, T763, T764, T767, T766, pC_out_ggag(T763, T762, T767, T766)) → deleteD_out_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766))
deleteD_in_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779)) → U41_gag(T785, T777, T780, T779, deleteD_in_gag(s(T785), T780, T779))
deleteD_in_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779)) → U42_gag(T795, T794, T777, T780, T779, pG_in_ggag(T794, T795, T780, T779))
U42_gag(T795, T794, T777, T780, T779, pG_out_ggag(T794, T795, T780, T779)) → deleteD_out_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779))
U41_gag(T785, T777, T780, T779, deleteD_out_gag(s(T785), T780, T779)) → deleteD_out_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779))
U38_gag(T737, T732, T730, T731, deleteD_out_gag(0, T732, T731)) → deleteD_out_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730))
U33_gag(T607, T599, T602, T601, deleteD_out_gag(s(T607), T602, T601)) → deleteD_out_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601))
U30_gag(T559, T554, T552, T553, deleteD_out_gag(0, T554, T553)) → deleteD_out_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552))
U25_gag(T425, T417, T420, T419, deleteD_out_gag(s(T425), T420, T419)) → deleteD_out_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419))
U22_gag(T377, T372, T370, T371, deleteD_out_gag(0, T372, T371)) → deleteD_out_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370))
U10_ggag(T250, T251, T236, T235, deleteD_out_gag(s(T251), T236, T235)) → pG_out_ggag(T250, T251, T236, T235)
U18_gag(T251, T250, T233, T236, T235, pG_out_ggag(T250, T251, T236, T235)) → deleteD_out_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235))
U17_gag(T241, T233, T236, T235, deleteD_out_gag(s(T241), T236, T235)) → deleteD_out_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235))
U8_ggag(T198, T199, T182, T181, deleteD_out_gag(s(T198), T182, T181)) → pF_out_ggag(T198, T199, T182, T181)
U15_gag(T198, T199, T182, T180, T181, pF_out_ggag(T198, T199, T182, T181)) → deleteD_out_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180))
U14_gag(T187, T182, T180, T181, deleteD_out_gag(0, T182, T181)) → deleteD_out_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180))
U4_ggag(T159, T158, T163, T162, deleteD_out_gag(T158, T163, T162)) → pC_out_ggag(T159, T158, T163, T162)
U13_gag(T158, T159, T160, T163, T162, pC_out_ggag(T159, T158, T163, T162)) → deleteD_out_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162))
U6_ggag(T121, T122, T126, T125, deleteD_out_gag(T121, T126, T125)) → pE_out_ggag(T121, T122, T126, T125)
U12_gag(T121, T122, T126, T124, T125, pE_out_ggag(T121, T122, T126, T125)) → deleteD_out_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124))
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
deleteD_in_gag(T6, tree(T6, void, T7), T7) → deleteD_out_gag(T6, tree(T6, void, T7), T7)
deleteD_in_gag(T10, tree(T10, T11, void), T11) → deleteD_out_gag(T10, tree(T10, T11, void), T11)
deleteD_in_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32)) → deleteD_out_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32))
deleteD_in_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_in_agg(T63, T60, T61))
delminA_in_agg(tree(T76, void, T77), T76, T77) → delminA_out_agg(tree(T76, void, T77), T76, T77)
delminA_in_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → U1_agg(T90, T96, T92, T93, T94, T95, delminA_in_agg(T96, T93, T94))
U1_agg(T90, T96, T92, T93, T94, T95, delminA_out_agg(T96, T93, T94)) → delminA_out_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95))
U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_out_agg(T63, T60, T61)) → deleteD_out_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62)))
deleteD_in_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → U12_gag(T121, T122, T126, T124, T125, pE_in_ggag(T121, T122, T126, T125))
pE_in_ggag(T121, T122, T126, T125) → U5_ggag(T121, T122, T126, T125, lessB_in_gg(T121, T122))
lessB_in_gg(0, s(T135)) → lessB_out_gg(0, s(T135))
lessB_in_gg(s(T140), s(T141)) → U2_gg(T140, T141, lessB_in_gg(T140, T141))
U2_gg(T140, T141, lessB_out_gg(T140, T141)) → lessB_out_gg(s(T140), s(T141))
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → pE_out_ggag(T121, T122, T126, T125)
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → U6_ggag(T121, T122, T126, T125, deleteD_in_gag(T121, T126, T125))
deleteD_in_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → U13_gag(T158, T159, T160, T163, T162, pC_in_ggag(T159, T158, T163, T162))
pC_in_ggag(T159, T158, T163, T162) → U3_ggag(T159, T158, T163, T162, lessB_in_gg(T159, T158))
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → pC_out_ggag(T159, T158, T163, T162)
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → U4_ggag(T159, T158, T163, T162, deleteD_in_gag(T158, T163, T162))
deleteD_in_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → U14_gag(T187, T182, T180, T181, deleteD_in_gag(0, T182, T181))
deleteD_in_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → U15_gag(T198, T199, T182, T180, T181, pF_in_ggag(T198, T199, T182, T181))
pF_in_ggag(T198, T199, T182, T181) → U7_ggag(T198, T199, T182, T181, lessB_in_gg(T198, T199))
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → pF_out_ggag(T198, T199, T182, T181)
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → U8_ggag(T198, T199, T182, T181, deleteD_in_gag(s(T198), T182, T181))
deleteD_in_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222)) → U16_gag(T218, T219, T220, T223, T222, pC_in_ggag(T219, T218, T223, T222))
U16_gag(T218, T219, T220, T223, T222, pC_out_ggag(T219, T218, T223, T222)) → deleteD_out_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222))
deleteD_in_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → U17_gag(T241, T233, T236, T235, deleteD_in_gag(s(T241), T236, T235))
deleteD_in_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → U18_gag(T251, T250, T233, T236, T235, pG_in_ggag(T250, T251, T236, T235))
pG_in_ggag(T250, T251, T236, T235) → U9_ggag(T250, T251, T236, T235, lessB_in_gg(T250, T251))
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → pG_out_ggag(T250, T251, T236, T235)
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → U10_ggag(T250, T251, T236, T235, deleteD_in_gag(s(T251), T236, T235))
deleteD_in_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310))) → U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_in_agg(T311, T308, T309))
U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_out_agg(T311, T308, T309)) → deleteD_out_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310)))
deleteD_in_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339)) → U20_gag(T336, T337, T341, T339, T340, pE_in_ggag(T336, T337, T341, T340))
U20_gag(T336, T337, T341, T339, T340, pE_out_ggag(T336, T337, T341, T340)) → deleteD_out_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339))
deleteD_in_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358)) → U21_gag(T354, T355, T356, T359, T358, pC_in_ggag(T355, T354, T359, T358))
U21_gag(T354, T355, T356, T359, T358, pC_out_ggag(T355, T354, T359, T358)) → deleteD_out_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358))
deleteD_in_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370)) → U22_gag(T377, T372, T370, T371, deleteD_in_gag(0, T372, T371))
deleteD_in_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370)) → U23_gag(T388, T389, T372, T370, T371, pF_in_ggag(T388, T389, T372, T371))
U23_gag(T388, T389, T372, T370, T371, pF_out_ggag(T388, T389, T372, T371)) → deleteD_out_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370))
deleteD_in_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406)) → U24_gag(T402, T403, T404, T407, T406, pC_in_ggag(T403, T402, T407, T406))
U24_gag(T402, T403, T404, T407, T406, pC_out_ggag(T403, T402, T407, T406)) → deleteD_out_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406))
deleteD_in_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419)) → U25_gag(T425, T417, T420, T419, deleteD_in_gag(s(T425), T420, T419))
deleteD_in_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419)) → U26_gag(T435, T434, T417, T420, T419, pG_in_ggag(T434, T435, T420, T419))
U26_gag(T435, T434, T417, T420, T419, pG_out_ggag(T434, T435, T420, T419)) → deleteD_out_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419))
deleteD_in_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492))) → U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_in_agg(T493, T490, T491))
U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_out_agg(T493, T490, T491)) → deleteD_out_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492)))
deleteD_in_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521)) → U28_gag(T518, T519, T523, T521, T522, pE_in_ggag(T518, T519, T523, T522))
U28_gag(T518, T519, T523, T521, T522, pE_out_ggag(T518, T519, T523, T522)) → deleteD_out_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521))
deleteD_in_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540)) → U29_gag(T536, T537, T538, T541, T540, pC_in_ggag(T537, T536, T541, T540))
U29_gag(T536, T537, T538, T541, T540, pC_out_ggag(T537, T536, T541, T540)) → deleteD_out_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540))
deleteD_in_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552)) → U30_gag(T559, T554, T552, T553, deleteD_in_gag(0, T554, T553))
deleteD_in_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552)) → U31_gag(T570, T571, T554, T552, T553, pF_in_ggag(T570, T571, T554, T553))
U31_gag(T570, T571, T554, T552, T553, pF_out_ggag(T570, T571, T554, T553)) → deleteD_out_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552))
deleteD_in_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588)) → U32_gag(T584, T585, T586, T589, T588, pC_in_ggag(T585, T584, T589, T588))
U32_gag(T584, T585, T586, T589, T588, pC_out_ggag(T585, T584, T589, T588)) → deleteD_out_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588))
deleteD_in_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601)) → U33_gag(T607, T599, T602, T601, deleteD_in_gag(s(T607), T602, T601))
deleteD_in_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601)) → U34_gag(T617, T616, T599, T602, T601, pG_in_ggag(T616, T617, T602, T601))
U34_gag(T617, T616, T599, T602, T601, pG_out_ggag(T616, T617, T602, T601)) → deleteD_out_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601))
deleteD_in_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670))) → U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_in_agg(T671, T668, T669))
U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_out_agg(T671, T668, T669)) → deleteD_out_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670)))
deleteD_in_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699)) → U36_gag(T696, T697, T701, T699, T700, pE_in_ggag(T696, T697, T701, T700))
U36_gag(T696, T697, T701, T699, T700, pE_out_ggag(T696, T697, T701, T700)) → deleteD_out_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699))
deleteD_in_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718)) → U37_gag(T714, T715, T716, T719, T718, pC_in_ggag(T715, T714, T719, T718))
U37_gag(T714, T715, T716, T719, T718, pC_out_ggag(T715, T714, T719, T718)) → deleteD_out_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718))
deleteD_in_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730)) → U38_gag(T737, T732, T730, T731, deleteD_in_gag(0, T732, T731))
deleteD_in_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730)) → U39_gag(T748, T749, T732, T730, T731, pF_in_ggag(T748, T749, T732, T731))
U39_gag(T748, T749, T732, T730, T731, pF_out_ggag(T748, T749, T732, T731)) → deleteD_out_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730))
deleteD_in_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766)) → U40_gag(T762, T763, T764, T767, T766, pC_in_ggag(T763, T762, T767, T766))
U40_gag(T762, T763, T764, T767, T766, pC_out_ggag(T763, T762, T767, T766)) → deleteD_out_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766))
deleteD_in_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779)) → U41_gag(T785, T777, T780, T779, deleteD_in_gag(s(T785), T780, T779))
deleteD_in_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779)) → U42_gag(T795, T794, T777, T780, T779, pG_in_ggag(T794, T795, T780, T779))
U42_gag(T795, T794, T777, T780, T779, pG_out_ggag(T794, T795, T780, T779)) → deleteD_out_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779))
U41_gag(T785, T777, T780, T779, deleteD_out_gag(s(T785), T780, T779)) → deleteD_out_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779))
U38_gag(T737, T732, T730, T731, deleteD_out_gag(0, T732, T731)) → deleteD_out_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730))
U33_gag(T607, T599, T602, T601, deleteD_out_gag(s(T607), T602, T601)) → deleteD_out_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601))
U30_gag(T559, T554, T552, T553, deleteD_out_gag(0, T554, T553)) → deleteD_out_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552))
U25_gag(T425, T417, T420, T419, deleteD_out_gag(s(T425), T420, T419)) → deleteD_out_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419))
U22_gag(T377, T372, T370, T371, deleteD_out_gag(0, T372, T371)) → deleteD_out_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370))
U10_ggag(T250, T251, T236, T235, deleteD_out_gag(s(T251), T236, T235)) → pG_out_ggag(T250, T251, T236, T235)
U18_gag(T251, T250, T233, T236, T235, pG_out_ggag(T250, T251, T236, T235)) → deleteD_out_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235))
U17_gag(T241, T233, T236, T235, deleteD_out_gag(s(T241), T236, T235)) → deleteD_out_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235))
U8_ggag(T198, T199, T182, T181, deleteD_out_gag(s(T198), T182, T181)) → pF_out_ggag(T198, T199, T182, T181)
U15_gag(T198, T199, T182, T180, T181, pF_out_ggag(T198, T199, T182, T181)) → deleteD_out_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180))
U14_gag(T187, T182, T180, T181, deleteD_out_gag(0, T182, T181)) → deleteD_out_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180))
U4_ggag(T159, T158, T163, T162, deleteD_out_gag(T158, T163, T162)) → pC_out_ggag(T159, T158, T163, T162)
U13_gag(T158, T159, T160, T163, T162, pC_out_ggag(T159, T158, T163, T162)) → deleteD_out_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162))
U6_ggag(T121, T122, T126, T125, deleteD_out_gag(T121, T126, T125)) → pE_out_ggag(T121, T122, T126, T125)
U12_gag(T121, T122, T126, T124, T125, pE_out_ggag(T121, T122, T126, T125)) → deleteD_out_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124))
DELETED_IN_GAG(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → U11_GAG(T17, T18, T57, T63, T59, T60, T61, T62, delminA_in_agg(T63, T60, T61))
DELETED_IN_GAG(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → DELMINA_IN_AGG(T63, T60, T61)
DELMINA_IN_AGG(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → U1_AGG(T90, T96, T92, T93, T94, T95, delminA_in_agg(T96, T93, T94))
DELMINA_IN_AGG(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → DELMINA_IN_AGG(T96, T93, T94)
DELETED_IN_GAG(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → U12_GAG(T121, T122, T126, T124, T125, pE_in_ggag(T121, T122, T126, T125))
DELETED_IN_GAG(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → PE_IN_GGAG(T121, T122, T126, T125)
PE_IN_GGAG(T121, T122, T126, T125) → U5_GGAG(T121, T122, T126, T125, lessB_in_gg(T121, T122))
PE_IN_GGAG(T121, T122, T126, T125) → LESSB_IN_GG(T121, T122)
LESSB_IN_GG(s(T140), s(T141)) → U2_GG(T140, T141, lessB_in_gg(T140, T141))
LESSB_IN_GG(s(T140), s(T141)) → LESSB_IN_GG(T140, T141)
U5_GGAG(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → U6_GGAG(T121, T122, T126, T125, deleteD_in_gag(T121, T126, T125))
U5_GGAG(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → DELETED_IN_GAG(T121, T126, T125)
DELETED_IN_GAG(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → U13_GAG(T158, T159, T160, T163, T162, pC_in_ggag(T159, T158, T163, T162))
DELETED_IN_GAG(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → PC_IN_GGAG(T159, T158, T163, T162)
PC_IN_GGAG(T159, T158, T163, T162) → U3_GGAG(T159, T158, T163, T162, lessB_in_gg(T159, T158))
PC_IN_GGAG(T159, T158, T163, T162) → LESSB_IN_GG(T159, T158)
U3_GGAG(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → U4_GGAG(T159, T158, T163, T162, deleteD_in_gag(T158, T163, T162))
U3_GGAG(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → DELETED_IN_GAG(T158, T163, T162)
DELETED_IN_GAG(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → U14_GAG(T187, T182, T180, T181, deleteD_in_gag(0, T182, T181))
DELETED_IN_GAG(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → DELETED_IN_GAG(0, T182, T181)
DELETED_IN_GAG(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → U15_GAG(T198, T199, T182, T180, T181, pF_in_ggag(T198, T199, T182, T181))
DELETED_IN_GAG(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → PF_IN_GGAG(T198, T199, T182, T181)
PF_IN_GGAG(T198, T199, T182, T181) → U7_GGAG(T198, T199, T182, T181, lessB_in_gg(T198, T199))
PF_IN_GGAG(T198, T199, T182, T181) → LESSB_IN_GG(T198, T199)
U7_GGAG(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → U8_GGAG(T198, T199, T182, T181, deleteD_in_gag(s(T198), T182, T181))
U7_GGAG(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → DELETED_IN_GAG(s(T198), T182, T181)
DELETED_IN_GAG(T218, tree(T219, T220, T223), tree(T219, T220, T222)) → U16_GAG(T218, T219, T220, T223, T222, pC_in_ggag(T219, T218, T223, T222))
DELETED_IN_GAG(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → U17_GAG(T241, T233, T236, T235, deleteD_in_gag(s(T241), T236, T235))
DELETED_IN_GAG(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → DELETED_IN_GAG(s(T241), T236, T235)
DELETED_IN_GAG(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → U18_GAG(T251, T250, T233, T236, T235, pG_in_ggag(T250, T251, T236, T235))
DELETED_IN_GAG(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → PG_IN_GGAG(T250, T251, T236, T235)
PG_IN_GGAG(T250, T251, T236, T235) → U9_GGAG(T250, T251, T236, T235, lessB_in_gg(T250, T251))
PG_IN_GGAG(T250, T251, T236, T235) → LESSB_IN_GG(T250, T251)
U9_GGAG(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → U10_GGAG(T250, T251, T236, T235, deleteD_in_gag(s(T251), T236, T235))
U9_GGAG(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → DELETED_IN_GAG(s(T251), T236, T235)
DELETED_IN_GAG(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310))) → U19_GAG(T265, T266, T305, T311, T307, T308, T309, T310, delminA_in_agg(T311, T308, T309))
DELETED_IN_GAG(T336, tree(T337, T341, T339), tree(T337, T340, T339)) → U20_GAG(T336, T337, T341, T339, T340, pE_in_ggag(T336, T337, T341, T340))
DELETED_IN_GAG(T354, tree(T355, T356, T359), tree(T355, T356, T358)) → U21_GAG(T354, T355, T356, T359, T358, pC_in_ggag(T355, T354, T359, T358))
DELETED_IN_GAG(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370)) → U22_GAG(T377, T372, T370, T371, deleteD_in_gag(0, T372, T371))
DELETED_IN_GAG(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370)) → U23_GAG(T388, T389, T372, T370, T371, pF_in_ggag(T388, T389, T372, T371))
DELETED_IN_GAG(T402, tree(T403, T404, T407), tree(T403, T404, T406)) → U24_GAG(T402, T403, T404, T407, T406, pC_in_ggag(T403, T402, T407, T406))
DELETED_IN_GAG(s(T425), tree(0, T417, T420), tree(0, T417, T419)) → U25_GAG(T425, T417, T420, T419, deleteD_in_gag(s(T425), T420, T419))
DELETED_IN_GAG(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419)) → U26_GAG(T435, T434, T417, T420, T419, pG_in_ggag(T434, T435, T420, T419))
DELETED_IN_GAG(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492))) → U27_GAG(T447, T448, T487, T493, T489, T490, T491, T492, delminA_in_agg(T493, T490, T491))
DELETED_IN_GAG(T518, tree(T519, T523, T521), tree(T519, T522, T521)) → U28_GAG(T518, T519, T523, T521, T522, pE_in_ggag(T518, T519, T523, T522))
DELETED_IN_GAG(T536, tree(T537, T538, T541), tree(T537, T538, T540)) → U29_GAG(T536, T537, T538, T541, T540, pC_in_ggag(T537, T536, T541, T540))
DELETED_IN_GAG(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552)) → U30_GAG(T559, T554, T552, T553, deleteD_in_gag(0, T554, T553))
DELETED_IN_GAG(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552)) → U31_GAG(T570, T571, T554, T552, T553, pF_in_ggag(T570, T571, T554, T553))
DELETED_IN_GAG(T584, tree(T585, T586, T589), tree(T585, T586, T588)) → U32_GAG(T584, T585, T586, T589, T588, pC_in_ggag(T585, T584, T589, T588))
DELETED_IN_GAG(s(T607), tree(0, T599, T602), tree(0, T599, T601)) → U33_GAG(T607, T599, T602, T601, deleteD_in_gag(s(T607), T602, T601))
DELETED_IN_GAG(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601)) → U34_GAG(T617, T616, T599, T602, T601, pG_in_ggag(T616, T617, T602, T601))
DELETED_IN_GAG(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670))) → U35_GAG(T625, T626, T665, T671, T667, T668, T669, T670, delminA_in_agg(T671, T668, T669))
DELETED_IN_GAG(T696, tree(T697, T701, T699), tree(T697, T700, T699)) → U36_GAG(T696, T697, T701, T699, T700, pE_in_ggag(T696, T697, T701, T700))
DELETED_IN_GAG(T714, tree(T715, T716, T719), tree(T715, T716, T718)) → U37_GAG(T714, T715, T716, T719, T718, pC_in_ggag(T715, T714, T719, T718))
DELETED_IN_GAG(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730)) → U38_GAG(T737, T732, T730, T731, deleteD_in_gag(0, T732, T731))
DELETED_IN_GAG(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730)) → U39_GAG(T748, T749, T732, T730, T731, pF_in_ggag(T748, T749, T732, T731))
DELETED_IN_GAG(T762, tree(T763, T764, T767), tree(T763, T764, T766)) → U40_GAG(T762, T763, T764, T767, T766, pC_in_ggag(T763, T762, T767, T766))
DELETED_IN_GAG(s(T785), tree(0, T777, T780), tree(0, T777, T779)) → U41_GAG(T785, T777, T780, T779, deleteD_in_gag(s(T785), T780, T779))
DELETED_IN_GAG(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779)) → U42_GAG(T795, T794, T777, T780, T779, pG_in_ggag(T794, T795, T780, T779))
deleteD_in_gag(T6, tree(T6, void, T7), T7) → deleteD_out_gag(T6, tree(T6, void, T7), T7)
deleteD_in_gag(T10, tree(T10, T11, void), T11) → deleteD_out_gag(T10, tree(T10, T11, void), T11)
deleteD_in_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32)) → deleteD_out_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32))
deleteD_in_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_in_agg(T63, T60, T61))
delminA_in_agg(tree(T76, void, T77), T76, T77) → delminA_out_agg(tree(T76, void, T77), T76, T77)
delminA_in_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → U1_agg(T90, T96, T92, T93, T94, T95, delminA_in_agg(T96, T93, T94))
U1_agg(T90, T96, T92, T93, T94, T95, delminA_out_agg(T96, T93, T94)) → delminA_out_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95))
U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_out_agg(T63, T60, T61)) → deleteD_out_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62)))
deleteD_in_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → U12_gag(T121, T122, T126, T124, T125, pE_in_ggag(T121, T122, T126, T125))
pE_in_ggag(T121, T122, T126, T125) → U5_ggag(T121, T122, T126, T125, lessB_in_gg(T121, T122))
lessB_in_gg(0, s(T135)) → lessB_out_gg(0, s(T135))
lessB_in_gg(s(T140), s(T141)) → U2_gg(T140, T141, lessB_in_gg(T140, T141))
U2_gg(T140, T141, lessB_out_gg(T140, T141)) → lessB_out_gg(s(T140), s(T141))
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → pE_out_ggag(T121, T122, T126, T125)
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → U6_ggag(T121, T122, T126, T125, deleteD_in_gag(T121, T126, T125))
deleteD_in_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → U13_gag(T158, T159, T160, T163, T162, pC_in_ggag(T159, T158, T163, T162))
pC_in_ggag(T159, T158, T163, T162) → U3_ggag(T159, T158, T163, T162, lessB_in_gg(T159, T158))
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → pC_out_ggag(T159, T158, T163, T162)
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → U4_ggag(T159, T158, T163, T162, deleteD_in_gag(T158, T163, T162))
deleteD_in_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → U14_gag(T187, T182, T180, T181, deleteD_in_gag(0, T182, T181))
deleteD_in_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → U15_gag(T198, T199, T182, T180, T181, pF_in_ggag(T198, T199, T182, T181))
pF_in_ggag(T198, T199, T182, T181) → U7_ggag(T198, T199, T182, T181, lessB_in_gg(T198, T199))
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → pF_out_ggag(T198, T199, T182, T181)
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → U8_ggag(T198, T199, T182, T181, deleteD_in_gag(s(T198), T182, T181))
deleteD_in_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222)) → U16_gag(T218, T219, T220, T223, T222, pC_in_ggag(T219, T218, T223, T222))
U16_gag(T218, T219, T220, T223, T222, pC_out_ggag(T219, T218, T223, T222)) → deleteD_out_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222))
deleteD_in_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → U17_gag(T241, T233, T236, T235, deleteD_in_gag(s(T241), T236, T235))
deleteD_in_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → U18_gag(T251, T250, T233, T236, T235, pG_in_ggag(T250, T251, T236, T235))
pG_in_ggag(T250, T251, T236, T235) → U9_ggag(T250, T251, T236, T235, lessB_in_gg(T250, T251))
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → pG_out_ggag(T250, T251, T236, T235)
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → U10_ggag(T250, T251, T236, T235, deleteD_in_gag(s(T251), T236, T235))
deleteD_in_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310))) → U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_in_agg(T311, T308, T309))
U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_out_agg(T311, T308, T309)) → deleteD_out_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310)))
deleteD_in_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339)) → U20_gag(T336, T337, T341, T339, T340, pE_in_ggag(T336, T337, T341, T340))
U20_gag(T336, T337, T341, T339, T340, pE_out_ggag(T336, T337, T341, T340)) → deleteD_out_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339))
deleteD_in_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358)) → U21_gag(T354, T355, T356, T359, T358, pC_in_ggag(T355, T354, T359, T358))
U21_gag(T354, T355, T356, T359, T358, pC_out_ggag(T355, T354, T359, T358)) → deleteD_out_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358))
deleteD_in_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370)) → U22_gag(T377, T372, T370, T371, deleteD_in_gag(0, T372, T371))
deleteD_in_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370)) → U23_gag(T388, T389, T372, T370, T371, pF_in_ggag(T388, T389, T372, T371))
U23_gag(T388, T389, T372, T370, T371, pF_out_ggag(T388, T389, T372, T371)) → deleteD_out_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370))
deleteD_in_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406)) → U24_gag(T402, T403, T404, T407, T406, pC_in_ggag(T403, T402, T407, T406))
U24_gag(T402, T403, T404, T407, T406, pC_out_ggag(T403, T402, T407, T406)) → deleteD_out_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406))
deleteD_in_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419)) → U25_gag(T425, T417, T420, T419, deleteD_in_gag(s(T425), T420, T419))
deleteD_in_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419)) → U26_gag(T435, T434, T417, T420, T419, pG_in_ggag(T434, T435, T420, T419))
U26_gag(T435, T434, T417, T420, T419, pG_out_ggag(T434, T435, T420, T419)) → deleteD_out_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419))
deleteD_in_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492))) → U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_in_agg(T493, T490, T491))
U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_out_agg(T493, T490, T491)) → deleteD_out_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492)))
deleteD_in_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521)) → U28_gag(T518, T519, T523, T521, T522, pE_in_ggag(T518, T519, T523, T522))
U28_gag(T518, T519, T523, T521, T522, pE_out_ggag(T518, T519, T523, T522)) → deleteD_out_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521))
deleteD_in_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540)) → U29_gag(T536, T537, T538, T541, T540, pC_in_ggag(T537, T536, T541, T540))
U29_gag(T536, T537, T538, T541, T540, pC_out_ggag(T537, T536, T541, T540)) → deleteD_out_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540))
deleteD_in_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552)) → U30_gag(T559, T554, T552, T553, deleteD_in_gag(0, T554, T553))
deleteD_in_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552)) → U31_gag(T570, T571, T554, T552, T553, pF_in_ggag(T570, T571, T554, T553))
U31_gag(T570, T571, T554, T552, T553, pF_out_ggag(T570, T571, T554, T553)) → deleteD_out_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552))
deleteD_in_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588)) → U32_gag(T584, T585, T586, T589, T588, pC_in_ggag(T585, T584, T589, T588))
U32_gag(T584, T585, T586, T589, T588, pC_out_ggag(T585, T584, T589, T588)) → deleteD_out_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588))
deleteD_in_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601)) → U33_gag(T607, T599, T602, T601, deleteD_in_gag(s(T607), T602, T601))
deleteD_in_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601)) → U34_gag(T617, T616, T599, T602, T601, pG_in_ggag(T616, T617, T602, T601))
U34_gag(T617, T616, T599, T602, T601, pG_out_ggag(T616, T617, T602, T601)) → deleteD_out_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601))
deleteD_in_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670))) → U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_in_agg(T671, T668, T669))
U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_out_agg(T671, T668, T669)) → deleteD_out_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670)))
deleteD_in_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699)) → U36_gag(T696, T697, T701, T699, T700, pE_in_ggag(T696, T697, T701, T700))
U36_gag(T696, T697, T701, T699, T700, pE_out_ggag(T696, T697, T701, T700)) → deleteD_out_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699))
deleteD_in_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718)) → U37_gag(T714, T715, T716, T719, T718, pC_in_ggag(T715, T714, T719, T718))
U37_gag(T714, T715, T716, T719, T718, pC_out_ggag(T715, T714, T719, T718)) → deleteD_out_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718))
deleteD_in_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730)) → U38_gag(T737, T732, T730, T731, deleteD_in_gag(0, T732, T731))
deleteD_in_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730)) → U39_gag(T748, T749, T732, T730, T731, pF_in_ggag(T748, T749, T732, T731))
U39_gag(T748, T749, T732, T730, T731, pF_out_ggag(T748, T749, T732, T731)) → deleteD_out_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730))
deleteD_in_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766)) → U40_gag(T762, T763, T764, T767, T766, pC_in_ggag(T763, T762, T767, T766))
U40_gag(T762, T763, T764, T767, T766, pC_out_ggag(T763, T762, T767, T766)) → deleteD_out_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766))
deleteD_in_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779)) → U41_gag(T785, T777, T780, T779, deleteD_in_gag(s(T785), T780, T779))
deleteD_in_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779)) → U42_gag(T795, T794, T777, T780, T779, pG_in_ggag(T794, T795, T780, T779))
U42_gag(T795, T794, T777, T780, T779, pG_out_ggag(T794, T795, T780, T779)) → deleteD_out_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779))
U41_gag(T785, T777, T780, T779, deleteD_out_gag(s(T785), T780, T779)) → deleteD_out_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779))
U38_gag(T737, T732, T730, T731, deleteD_out_gag(0, T732, T731)) → deleteD_out_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730))
U33_gag(T607, T599, T602, T601, deleteD_out_gag(s(T607), T602, T601)) → deleteD_out_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601))
U30_gag(T559, T554, T552, T553, deleteD_out_gag(0, T554, T553)) → deleteD_out_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552))
U25_gag(T425, T417, T420, T419, deleteD_out_gag(s(T425), T420, T419)) → deleteD_out_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419))
U22_gag(T377, T372, T370, T371, deleteD_out_gag(0, T372, T371)) → deleteD_out_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370))
U10_ggag(T250, T251, T236, T235, deleteD_out_gag(s(T251), T236, T235)) → pG_out_ggag(T250, T251, T236, T235)
U18_gag(T251, T250, T233, T236, T235, pG_out_ggag(T250, T251, T236, T235)) → deleteD_out_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235))
U17_gag(T241, T233, T236, T235, deleteD_out_gag(s(T241), T236, T235)) → deleteD_out_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235))
U8_ggag(T198, T199, T182, T181, deleteD_out_gag(s(T198), T182, T181)) → pF_out_ggag(T198, T199, T182, T181)
U15_gag(T198, T199, T182, T180, T181, pF_out_ggag(T198, T199, T182, T181)) → deleteD_out_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180))
U14_gag(T187, T182, T180, T181, deleteD_out_gag(0, T182, T181)) → deleteD_out_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180))
U4_ggag(T159, T158, T163, T162, deleteD_out_gag(T158, T163, T162)) → pC_out_ggag(T159, T158, T163, T162)
U13_gag(T158, T159, T160, T163, T162, pC_out_ggag(T159, T158, T163, T162)) → deleteD_out_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162))
U6_ggag(T121, T122, T126, T125, deleteD_out_gag(T121, T126, T125)) → pE_out_ggag(T121, T122, T126, T125)
U12_gag(T121, T122, T126, T124, T125, pE_out_ggag(T121, T122, T126, T125)) → deleteD_out_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124))
DELETED_IN_GAG(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → U11_GAG(T17, T18, T57, T63, T59, T60, T61, T62, delminA_in_agg(T63, T60, T61))
DELETED_IN_GAG(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → DELMINA_IN_AGG(T63, T60, T61)
DELMINA_IN_AGG(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → U1_AGG(T90, T96, T92, T93, T94, T95, delminA_in_agg(T96, T93, T94))
DELMINA_IN_AGG(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → DELMINA_IN_AGG(T96, T93, T94)
DELETED_IN_GAG(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → U12_GAG(T121, T122, T126, T124, T125, pE_in_ggag(T121, T122, T126, T125))
DELETED_IN_GAG(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → PE_IN_GGAG(T121, T122, T126, T125)
PE_IN_GGAG(T121, T122, T126, T125) → U5_GGAG(T121, T122, T126, T125, lessB_in_gg(T121, T122))
PE_IN_GGAG(T121, T122, T126, T125) → LESSB_IN_GG(T121, T122)
LESSB_IN_GG(s(T140), s(T141)) → U2_GG(T140, T141, lessB_in_gg(T140, T141))
LESSB_IN_GG(s(T140), s(T141)) → LESSB_IN_GG(T140, T141)
U5_GGAG(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → U6_GGAG(T121, T122, T126, T125, deleteD_in_gag(T121, T126, T125))
U5_GGAG(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → DELETED_IN_GAG(T121, T126, T125)
DELETED_IN_GAG(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → U13_GAG(T158, T159, T160, T163, T162, pC_in_ggag(T159, T158, T163, T162))
DELETED_IN_GAG(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → PC_IN_GGAG(T159, T158, T163, T162)
PC_IN_GGAG(T159, T158, T163, T162) → U3_GGAG(T159, T158, T163, T162, lessB_in_gg(T159, T158))
PC_IN_GGAG(T159, T158, T163, T162) → LESSB_IN_GG(T159, T158)
U3_GGAG(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → U4_GGAG(T159, T158, T163, T162, deleteD_in_gag(T158, T163, T162))
U3_GGAG(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → DELETED_IN_GAG(T158, T163, T162)
DELETED_IN_GAG(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → U14_GAG(T187, T182, T180, T181, deleteD_in_gag(0, T182, T181))
DELETED_IN_GAG(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → DELETED_IN_GAG(0, T182, T181)
DELETED_IN_GAG(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → U15_GAG(T198, T199, T182, T180, T181, pF_in_ggag(T198, T199, T182, T181))
DELETED_IN_GAG(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → PF_IN_GGAG(T198, T199, T182, T181)
PF_IN_GGAG(T198, T199, T182, T181) → U7_GGAG(T198, T199, T182, T181, lessB_in_gg(T198, T199))
PF_IN_GGAG(T198, T199, T182, T181) → LESSB_IN_GG(T198, T199)
U7_GGAG(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → U8_GGAG(T198, T199, T182, T181, deleteD_in_gag(s(T198), T182, T181))
U7_GGAG(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → DELETED_IN_GAG(s(T198), T182, T181)
DELETED_IN_GAG(T218, tree(T219, T220, T223), tree(T219, T220, T222)) → U16_GAG(T218, T219, T220, T223, T222, pC_in_ggag(T219, T218, T223, T222))
DELETED_IN_GAG(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → U17_GAG(T241, T233, T236, T235, deleteD_in_gag(s(T241), T236, T235))
DELETED_IN_GAG(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → DELETED_IN_GAG(s(T241), T236, T235)
DELETED_IN_GAG(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → U18_GAG(T251, T250, T233, T236, T235, pG_in_ggag(T250, T251, T236, T235))
DELETED_IN_GAG(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → PG_IN_GGAG(T250, T251, T236, T235)
PG_IN_GGAG(T250, T251, T236, T235) → U9_GGAG(T250, T251, T236, T235, lessB_in_gg(T250, T251))
PG_IN_GGAG(T250, T251, T236, T235) → LESSB_IN_GG(T250, T251)
U9_GGAG(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → U10_GGAG(T250, T251, T236, T235, deleteD_in_gag(s(T251), T236, T235))
U9_GGAG(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → DELETED_IN_GAG(s(T251), T236, T235)
DELETED_IN_GAG(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310))) → U19_GAG(T265, T266, T305, T311, T307, T308, T309, T310, delminA_in_agg(T311, T308, T309))
DELETED_IN_GAG(T336, tree(T337, T341, T339), tree(T337, T340, T339)) → U20_GAG(T336, T337, T341, T339, T340, pE_in_ggag(T336, T337, T341, T340))
DELETED_IN_GAG(T354, tree(T355, T356, T359), tree(T355, T356, T358)) → U21_GAG(T354, T355, T356, T359, T358, pC_in_ggag(T355, T354, T359, T358))
DELETED_IN_GAG(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370)) → U22_GAG(T377, T372, T370, T371, deleteD_in_gag(0, T372, T371))
DELETED_IN_GAG(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370)) → U23_GAG(T388, T389, T372, T370, T371, pF_in_ggag(T388, T389, T372, T371))
DELETED_IN_GAG(T402, tree(T403, T404, T407), tree(T403, T404, T406)) → U24_GAG(T402, T403, T404, T407, T406, pC_in_ggag(T403, T402, T407, T406))
DELETED_IN_GAG(s(T425), tree(0, T417, T420), tree(0, T417, T419)) → U25_GAG(T425, T417, T420, T419, deleteD_in_gag(s(T425), T420, T419))
DELETED_IN_GAG(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419)) → U26_GAG(T435, T434, T417, T420, T419, pG_in_ggag(T434, T435, T420, T419))
DELETED_IN_GAG(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492))) → U27_GAG(T447, T448, T487, T493, T489, T490, T491, T492, delminA_in_agg(T493, T490, T491))
DELETED_IN_GAG(T518, tree(T519, T523, T521), tree(T519, T522, T521)) → U28_GAG(T518, T519, T523, T521, T522, pE_in_ggag(T518, T519, T523, T522))
DELETED_IN_GAG(T536, tree(T537, T538, T541), tree(T537, T538, T540)) → U29_GAG(T536, T537, T538, T541, T540, pC_in_ggag(T537, T536, T541, T540))
DELETED_IN_GAG(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552)) → U30_GAG(T559, T554, T552, T553, deleteD_in_gag(0, T554, T553))
DELETED_IN_GAG(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552)) → U31_GAG(T570, T571, T554, T552, T553, pF_in_ggag(T570, T571, T554, T553))
DELETED_IN_GAG(T584, tree(T585, T586, T589), tree(T585, T586, T588)) → U32_GAG(T584, T585, T586, T589, T588, pC_in_ggag(T585, T584, T589, T588))
DELETED_IN_GAG(s(T607), tree(0, T599, T602), tree(0, T599, T601)) → U33_GAG(T607, T599, T602, T601, deleteD_in_gag(s(T607), T602, T601))
DELETED_IN_GAG(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601)) → U34_GAG(T617, T616, T599, T602, T601, pG_in_ggag(T616, T617, T602, T601))
DELETED_IN_GAG(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670))) → U35_GAG(T625, T626, T665, T671, T667, T668, T669, T670, delminA_in_agg(T671, T668, T669))
DELETED_IN_GAG(T696, tree(T697, T701, T699), tree(T697, T700, T699)) → U36_GAG(T696, T697, T701, T699, T700, pE_in_ggag(T696, T697, T701, T700))
DELETED_IN_GAG(T714, tree(T715, T716, T719), tree(T715, T716, T718)) → U37_GAG(T714, T715, T716, T719, T718, pC_in_ggag(T715, T714, T719, T718))
DELETED_IN_GAG(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730)) → U38_GAG(T737, T732, T730, T731, deleteD_in_gag(0, T732, T731))
DELETED_IN_GAG(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730)) → U39_GAG(T748, T749, T732, T730, T731, pF_in_ggag(T748, T749, T732, T731))
DELETED_IN_GAG(T762, tree(T763, T764, T767), tree(T763, T764, T766)) → U40_GAG(T762, T763, T764, T767, T766, pC_in_ggag(T763, T762, T767, T766))
DELETED_IN_GAG(s(T785), tree(0, T777, T780), tree(0, T777, T779)) → U41_GAG(T785, T777, T780, T779, deleteD_in_gag(s(T785), T780, T779))
DELETED_IN_GAG(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779)) → U42_GAG(T795, T794, T777, T780, T779, pG_in_ggag(T794, T795, T780, T779))
deleteD_in_gag(T6, tree(T6, void, T7), T7) → deleteD_out_gag(T6, tree(T6, void, T7), T7)
deleteD_in_gag(T10, tree(T10, T11, void), T11) → deleteD_out_gag(T10, tree(T10, T11, void), T11)
deleteD_in_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32)) → deleteD_out_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32))
deleteD_in_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_in_agg(T63, T60, T61))
delminA_in_agg(tree(T76, void, T77), T76, T77) → delminA_out_agg(tree(T76, void, T77), T76, T77)
delminA_in_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → U1_agg(T90, T96, T92, T93, T94, T95, delminA_in_agg(T96, T93, T94))
U1_agg(T90, T96, T92, T93, T94, T95, delminA_out_agg(T96, T93, T94)) → delminA_out_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95))
U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_out_agg(T63, T60, T61)) → deleteD_out_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62)))
deleteD_in_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → U12_gag(T121, T122, T126, T124, T125, pE_in_ggag(T121, T122, T126, T125))
pE_in_ggag(T121, T122, T126, T125) → U5_ggag(T121, T122, T126, T125, lessB_in_gg(T121, T122))
lessB_in_gg(0, s(T135)) → lessB_out_gg(0, s(T135))
lessB_in_gg(s(T140), s(T141)) → U2_gg(T140, T141, lessB_in_gg(T140, T141))
U2_gg(T140, T141, lessB_out_gg(T140, T141)) → lessB_out_gg(s(T140), s(T141))
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → pE_out_ggag(T121, T122, T126, T125)
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → U6_ggag(T121, T122, T126, T125, deleteD_in_gag(T121, T126, T125))
deleteD_in_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → U13_gag(T158, T159, T160, T163, T162, pC_in_ggag(T159, T158, T163, T162))
pC_in_ggag(T159, T158, T163, T162) → U3_ggag(T159, T158, T163, T162, lessB_in_gg(T159, T158))
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → pC_out_ggag(T159, T158, T163, T162)
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → U4_ggag(T159, T158, T163, T162, deleteD_in_gag(T158, T163, T162))
deleteD_in_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → U14_gag(T187, T182, T180, T181, deleteD_in_gag(0, T182, T181))
deleteD_in_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → U15_gag(T198, T199, T182, T180, T181, pF_in_ggag(T198, T199, T182, T181))
pF_in_ggag(T198, T199, T182, T181) → U7_ggag(T198, T199, T182, T181, lessB_in_gg(T198, T199))
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → pF_out_ggag(T198, T199, T182, T181)
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → U8_ggag(T198, T199, T182, T181, deleteD_in_gag(s(T198), T182, T181))
deleteD_in_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222)) → U16_gag(T218, T219, T220, T223, T222, pC_in_ggag(T219, T218, T223, T222))
U16_gag(T218, T219, T220, T223, T222, pC_out_ggag(T219, T218, T223, T222)) → deleteD_out_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222))
deleteD_in_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → U17_gag(T241, T233, T236, T235, deleteD_in_gag(s(T241), T236, T235))
deleteD_in_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → U18_gag(T251, T250, T233, T236, T235, pG_in_ggag(T250, T251, T236, T235))
pG_in_ggag(T250, T251, T236, T235) → U9_ggag(T250, T251, T236, T235, lessB_in_gg(T250, T251))
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → pG_out_ggag(T250, T251, T236, T235)
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → U10_ggag(T250, T251, T236, T235, deleteD_in_gag(s(T251), T236, T235))
deleteD_in_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310))) → U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_in_agg(T311, T308, T309))
U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_out_agg(T311, T308, T309)) → deleteD_out_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310)))
deleteD_in_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339)) → U20_gag(T336, T337, T341, T339, T340, pE_in_ggag(T336, T337, T341, T340))
U20_gag(T336, T337, T341, T339, T340, pE_out_ggag(T336, T337, T341, T340)) → deleteD_out_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339))
deleteD_in_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358)) → U21_gag(T354, T355, T356, T359, T358, pC_in_ggag(T355, T354, T359, T358))
U21_gag(T354, T355, T356, T359, T358, pC_out_ggag(T355, T354, T359, T358)) → deleteD_out_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358))
deleteD_in_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370)) → U22_gag(T377, T372, T370, T371, deleteD_in_gag(0, T372, T371))
deleteD_in_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370)) → U23_gag(T388, T389, T372, T370, T371, pF_in_ggag(T388, T389, T372, T371))
U23_gag(T388, T389, T372, T370, T371, pF_out_ggag(T388, T389, T372, T371)) → deleteD_out_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370))
deleteD_in_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406)) → U24_gag(T402, T403, T404, T407, T406, pC_in_ggag(T403, T402, T407, T406))
U24_gag(T402, T403, T404, T407, T406, pC_out_ggag(T403, T402, T407, T406)) → deleteD_out_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406))
deleteD_in_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419)) → U25_gag(T425, T417, T420, T419, deleteD_in_gag(s(T425), T420, T419))
deleteD_in_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419)) → U26_gag(T435, T434, T417, T420, T419, pG_in_ggag(T434, T435, T420, T419))
U26_gag(T435, T434, T417, T420, T419, pG_out_ggag(T434, T435, T420, T419)) → deleteD_out_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419))
deleteD_in_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492))) → U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_in_agg(T493, T490, T491))
U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_out_agg(T493, T490, T491)) → deleteD_out_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492)))
deleteD_in_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521)) → U28_gag(T518, T519, T523, T521, T522, pE_in_ggag(T518, T519, T523, T522))
U28_gag(T518, T519, T523, T521, T522, pE_out_ggag(T518, T519, T523, T522)) → deleteD_out_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521))
deleteD_in_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540)) → U29_gag(T536, T537, T538, T541, T540, pC_in_ggag(T537, T536, T541, T540))
U29_gag(T536, T537, T538, T541, T540, pC_out_ggag(T537, T536, T541, T540)) → deleteD_out_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540))
deleteD_in_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552)) → U30_gag(T559, T554, T552, T553, deleteD_in_gag(0, T554, T553))
deleteD_in_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552)) → U31_gag(T570, T571, T554, T552, T553, pF_in_ggag(T570, T571, T554, T553))
U31_gag(T570, T571, T554, T552, T553, pF_out_ggag(T570, T571, T554, T553)) → deleteD_out_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552))
deleteD_in_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588)) → U32_gag(T584, T585, T586, T589, T588, pC_in_ggag(T585, T584, T589, T588))
U32_gag(T584, T585, T586, T589, T588, pC_out_ggag(T585, T584, T589, T588)) → deleteD_out_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588))
deleteD_in_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601)) → U33_gag(T607, T599, T602, T601, deleteD_in_gag(s(T607), T602, T601))
deleteD_in_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601)) → U34_gag(T617, T616, T599, T602, T601, pG_in_ggag(T616, T617, T602, T601))
U34_gag(T617, T616, T599, T602, T601, pG_out_ggag(T616, T617, T602, T601)) → deleteD_out_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601))
deleteD_in_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670))) → U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_in_agg(T671, T668, T669))
U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_out_agg(T671, T668, T669)) → deleteD_out_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670)))
deleteD_in_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699)) → U36_gag(T696, T697, T701, T699, T700, pE_in_ggag(T696, T697, T701, T700))
U36_gag(T696, T697, T701, T699, T700, pE_out_ggag(T696, T697, T701, T700)) → deleteD_out_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699))
deleteD_in_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718)) → U37_gag(T714, T715, T716, T719, T718, pC_in_ggag(T715, T714, T719, T718))
U37_gag(T714, T715, T716, T719, T718, pC_out_ggag(T715, T714, T719, T718)) → deleteD_out_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718))
deleteD_in_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730)) → U38_gag(T737, T732, T730, T731, deleteD_in_gag(0, T732, T731))
deleteD_in_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730)) → U39_gag(T748, T749, T732, T730, T731, pF_in_ggag(T748, T749, T732, T731))
U39_gag(T748, T749, T732, T730, T731, pF_out_ggag(T748, T749, T732, T731)) → deleteD_out_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730))
deleteD_in_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766)) → U40_gag(T762, T763, T764, T767, T766, pC_in_ggag(T763, T762, T767, T766))
U40_gag(T762, T763, T764, T767, T766, pC_out_ggag(T763, T762, T767, T766)) → deleteD_out_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766))
deleteD_in_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779)) → U41_gag(T785, T777, T780, T779, deleteD_in_gag(s(T785), T780, T779))
deleteD_in_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779)) → U42_gag(T795, T794, T777, T780, T779, pG_in_ggag(T794, T795, T780, T779))
U42_gag(T795, T794, T777, T780, T779, pG_out_ggag(T794, T795, T780, T779)) → deleteD_out_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779))
U41_gag(T785, T777, T780, T779, deleteD_out_gag(s(T785), T780, T779)) → deleteD_out_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779))
U38_gag(T737, T732, T730, T731, deleteD_out_gag(0, T732, T731)) → deleteD_out_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730))
U33_gag(T607, T599, T602, T601, deleteD_out_gag(s(T607), T602, T601)) → deleteD_out_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601))
U30_gag(T559, T554, T552, T553, deleteD_out_gag(0, T554, T553)) → deleteD_out_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552))
U25_gag(T425, T417, T420, T419, deleteD_out_gag(s(T425), T420, T419)) → deleteD_out_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419))
U22_gag(T377, T372, T370, T371, deleteD_out_gag(0, T372, T371)) → deleteD_out_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370))
U10_ggag(T250, T251, T236, T235, deleteD_out_gag(s(T251), T236, T235)) → pG_out_ggag(T250, T251, T236, T235)
U18_gag(T251, T250, T233, T236, T235, pG_out_ggag(T250, T251, T236, T235)) → deleteD_out_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235))
U17_gag(T241, T233, T236, T235, deleteD_out_gag(s(T241), T236, T235)) → deleteD_out_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235))
U8_ggag(T198, T199, T182, T181, deleteD_out_gag(s(T198), T182, T181)) → pF_out_ggag(T198, T199, T182, T181)
U15_gag(T198, T199, T182, T180, T181, pF_out_ggag(T198, T199, T182, T181)) → deleteD_out_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180))
U14_gag(T187, T182, T180, T181, deleteD_out_gag(0, T182, T181)) → deleteD_out_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180))
U4_ggag(T159, T158, T163, T162, deleteD_out_gag(T158, T163, T162)) → pC_out_ggag(T159, T158, T163, T162)
U13_gag(T158, T159, T160, T163, T162, pC_out_ggag(T159, T158, T163, T162)) → deleteD_out_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162))
U6_ggag(T121, T122, T126, T125, deleteD_out_gag(T121, T126, T125)) → pE_out_ggag(T121, T122, T126, T125)
U12_gag(T121, T122, T126, T124, T125, pE_out_ggag(T121, T122, T126, T125)) → deleteD_out_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124))
LESSB_IN_GG(s(T140), s(T141)) → LESSB_IN_GG(T140, T141)
deleteD_in_gag(T6, tree(T6, void, T7), T7) → deleteD_out_gag(T6, tree(T6, void, T7), T7)
deleteD_in_gag(T10, tree(T10, T11, void), T11) → deleteD_out_gag(T10, tree(T10, T11, void), T11)
deleteD_in_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32)) → deleteD_out_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32))
deleteD_in_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_in_agg(T63, T60, T61))
delminA_in_agg(tree(T76, void, T77), T76, T77) → delminA_out_agg(tree(T76, void, T77), T76, T77)
delminA_in_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → U1_agg(T90, T96, T92, T93, T94, T95, delminA_in_agg(T96, T93, T94))
U1_agg(T90, T96, T92, T93, T94, T95, delminA_out_agg(T96, T93, T94)) → delminA_out_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95))
U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_out_agg(T63, T60, T61)) → deleteD_out_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62)))
deleteD_in_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → U12_gag(T121, T122, T126, T124, T125, pE_in_ggag(T121, T122, T126, T125))
pE_in_ggag(T121, T122, T126, T125) → U5_ggag(T121, T122, T126, T125, lessB_in_gg(T121, T122))
lessB_in_gg(0, s(T135)) → lessB_out_gg(0, s(T135))
lessB_in_gg(s(T140), s(T141)) → U2_gg(T140, T141, lessB_in_gg(T140, T141))
U2_gg(T140, T141, lessB_out_gg(T140, T141)) → lessB_out_gg(s(T140), s(T141))
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → pE_out_ggag(T121, T122, T126, T125)
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → U6_ggag(T121, T122, T126, T125, deleteD_in_gag(T121, T126, T125))
deleteD_in_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → U13_gag(T158, T159, T160, T163, T162, pC_in_ggag(T159, T158, T163, T162))
pC_in_ggag(T159, T158, T163, T162) → U3_ggag(T159, T158, T163, T162, lessB_in_gg(T159, T158))
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → pC_out_ggag(T159, T158, T163, T162)
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → U4_ggag(T159, T158, T163, T162, deleteD_in_gag(T158, T163, T162))
deleteD_in_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → U14_gag(T187, T182, T180, T181, deleteD_in_gag(0, T182, T181))
deleteD_in_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → U15_gag(T198, T199, T182, T180, T181, pF_in_ggag(T198, T199, T182, T181))
pF_in_ggag(T198, T199, T182, T181) → U7_ggag(T198, T199, T182, T181, lessB_in_gg(T198, T199))
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → pF_out_ggag(T198, T199, T182, T181)
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → U8_ggag(T198, T199, T182, T181, deleteD_in_gag(s(T198), T182, T181))
deleteD_in_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222)) → U16_gag(T218, T219, T220, T223, T222, pC_in_ggag(T219, T218, T223, T222))
U16_gag(T218, T219, T220, T223, T222, pC_out_ggag(T219, T218, T223, T222)) → deleteD_out_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222))
deleteD_in_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → U17_gag(T241, T233, T236, T235, deleteD_in_gag(s(T241), T236, T235))
deleteD_in_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → U18_gag(T251, T250, T233, T236, T235, pG_in_ggag(T250, T251, T236, T235))
pG_in_ggag(T250, T251, T236, T235) → U9_ggag(T250, T251, T236, T235, lessB_in_gg(T250, T251))
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → pG_out_ggag(T250, T251, T236, T235)
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → U10_ggag(T250, T251, T236, T235, deleteD_in_gag(s(T251), T236, T235))
deleteD_in_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310))) → U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_in_agg(T311, T308, T309))
U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_out_agg(T311, T308, T309)) → deleteD_out_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310)))
deleteD_in_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339)) → U20_gag(T336, T337, T341, T339, T340, pE_in_ggag(T336, T337, T341, T340))
U20_gag(T336, T337, T341, T339, T340, pE_out_ggag(T336, T337, T341, T340)) → deleteD_out_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339))
deleteD_in_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358)) → U21_gag(T354, T355, T356, T359, T358, pC_in_ggag(T355, T354, T359, T358))
U21_gag(T354, T355, T356, T359, T358, pC_out_ggag(T355, T354, T359, T358)) → deleteD_out_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358))
deleteD_in_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370)) → U22_gag(T377, T372, T370, T371, deleteD_in_gag(0, T372, T371))
deleteD_in_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370)) → U23_gag(T388, T389, T372, T370, T371, pF_in_ggag(T388, T389, T372, T371))
U23_gag(T388, T389, T372, T370, T371, pF_out_ggag(T388, T389, T372, T371)) → deleteD_out_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370))
deleteD_in_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406)) → U24_gag(T402, T403, T404, T407, T406, pC_in_ggag(T403, T402, T407, T406))
U24_gag(T402, T403, T404, T407, T406, pC_out_ggag(T403, T402, T407, T406)) → deleteD_out_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406))
deleteD_in_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419)) → U25_gag(T425, T417, T420, T419, deleteD_in_gag(s(T425), T420, T419))
deleteD_in_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419)) → U26_gag(T435, T434, T417, T420, T419, pG_in_ggag(T434, T435, T420, T419))
U26_gag(T435, T434, T417, T420, T419, pG_out_ggag(T434, T435, T420, T419)) → deleteD_out_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419))
deleteD_in_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492))) → U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_in_agg(T493, T490, T491))
U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_out_agg(T493, T490, T491)) → deleteD_out_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492)))
deleteD_in_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521)) → U28_gag(T518, T519, T523, T521, T522, pE_in_ggag(T518, T519, T523, T522))
U28_gag(T518, T519, T523, T521, T522, pE_out_ggag(T518, T519, T523, T522)) → deleteD_out_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521))
deleteD_in_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540)) → U29_gag(T536, T537, T538, T541, T540, pC_in_ggag(T537, T536, T541, T540))
U29_gag(T536, T537, T538, T541, T540, pC_out_ggag(T537, T536, T541, T540)) → deleteD_out_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540))
deleteD_in_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552)) → U30_gag(T559, T554, T552, T553, deleteD_in_gag(0, T554, T553))
deleteD_in_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552)) → U31_gag(T570, T571, T554, T552, T553, pF_in_ggag(T570, T571, T554, T553))
U31_gag(T570, T571, T554, T552, T553, pF_out_ggag(T570, T571, T554, T553)) → deleteD_out_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552))
deleteD_in_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588)) → U32_gag(T584, T585, T586, T589, T588, pC_in_ggag(T585, T584, T589, T588))
U32_gag(T584, T585, T586, T589, T588, pC_out_ggag(T585, T584, T589, T588)) → deleteD_out_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588))
deleteD_in_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601)) → U33_gag(T607, T599, T602, T601, deleteD_in_gag(s(T607), T602, T601))
deleteD_in_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601)) → U34_gag(T617, T616, T599, T602, T601, pG_in_ggag(T616, T617, T602, T601))
U34_gag(T617, T616, T599, T602, T601, pG_out_ggag(T616, T617, T602, T601)) → deleteD_out_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601))
deleteD_in_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670))) → U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_in_agg(T671, T668, T669))
U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_out_agg(T671, T668, T669)) → deleteD_out_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670)))
deleteD_in_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699)) → U36_gag(T696, T697, T701, T699, T700, pE_in_ggag(T696, T697, T701, T700))
U36_gag(T696, T697, T701, T699, T700, pE_out_ggag(T696, T697, T701, T700)) → deleteD_out_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699))
deleteD_in_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718)) → U37_gag(T714, T715, T716, T719, T718, pC_in_ggag(T715, T714, T719, T718))
U37_gag(T714, T715, T716, T719, T718, pC_out_ggag(T715, T714, T719, T718)) → deleteD_out_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718))
deleteD_in_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730)) → U38_gag(T737, T732, T730, T731, deleteD_in_gag(0, T732, T731))
deleteD_in_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730)) → U39_gag(T748, T749, T732, T730, T731, pF_in_ggag(T748, T749, T732, T731))
U39_gag(T748, T749, T732, T730, T731, pF_out_ggag(T748, T749, T732, T731)) → deleteD_out_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730))
deleteD_in_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766)) → U40_gag(T762, T763, T764, T767, T766, pC_in_ggag(T763, T762, T767, T766))
U40_gag(T762, T763, T764, T767, T766, pC_out_ggag(T763, T762, T767, T766)) → deleteD_out_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766))
deleteD_in_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779)) → U41_gag(T785, T777, T780, T779, deleteD_in_gag(s(T785), T780, T779))
deleteD_in_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779)) → U42_gag(T795, T794, T777, T780, T779, pG_in_ggag(T794, T795, T780, T779))
U42_gag(T795, T794, T777, T780, T779, pG_out_ggag(T794, T795, T780, T779)) → deleteD_out_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779))
U41_gag(T785, T777, T780, T779, deleteD_out_gag(s(T785), T780, T779)) → deleteD_out_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779))
U38_gag(T737, T732, T730, T731, deleteD_out_gag(0, T732, T731)) → deleteD_out_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730))
U33_gag(T607, T599, T602, T601, deleteD_out_gag(s(T607), T602, T601)) → deleteD_out_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601))
U30_gag(T559, T554, T552, T553, deleteD_out_gag(0, T554, T553)) → deleteD_out_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552))
U25_gag(T425, T417, T420, T419, deleteD_out_gag(s(T425), T420, T419)) → deleteD_out_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419))
U22_gag(T377, T372, T370, T371, deleteD_out_gag(0, T372, T371)) → deleteD_out_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370))
U10_ggag(T250, T251, T236, T235, deleteD_out_gag(s(T251), T236, T235)) → pG_out_ggag(T250, T251, T236, T235)
U18_gag(T251, T250, T233, T236, T235, pG_out_ggag(T250, T251, T236, T235)) → deleteD_out_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235))
U17_gag(T241, T233, T236, T235, deleteD_out_gag(s(T241), T236, T235)) → deleteD_out_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235))
U8_ggag(T198, T199, T182, T181, deleteD_out_gag(s(T198), T182, T181)) → pF_out_ggag(T198, T199, T182, T181)
U15_gag(T198, T199, T182, T180, T181, pF_out_ggag(T198, T199, T182, T181)) → deleteD_out_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180))
U14_gag(T187, T182, T180, T181, deleteD_out_gag(0, T182, T181)) → deleteD_out_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180))
U4_ggag(T159, T158, T163, T162, deleteD_out_gag(T158, T163, T162)) → pC_out_ggag(T159, T158, T163, T162)
U13_gag(T158, T159, T160, T163, T162, pC_out_ggag(T159, T158, T163, T162)) → deleteD_out_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162))
U6_ggag(T121, T122, T126, T125, deleteD_out_gag(T121, T126, T125)) → pE_out_ggag(T121, T122, T126, T125)
U12_gag(T121, T122, T126, T124, T125, pE_out_ggag(T121, T122, T126, T125)) → deleteD_out_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124))
LESSB_IN_GG(s(T140), s(T141)) → LESSB_IN_GG(T140, T141)
LESSB_IN_GG(s(T140), s(T141)) → LESSB_IN_GG(T140, T141)
From the DPs we obtained the following set of size-change graphs:
DELMINA_IN_AGG(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → DELMINA_IN_AGG(T96, T93, T94)
deleteD_in_gag(T6, tree(T6, void, T7), T7) → deleteD_out_gag(T6, tree(T6, void, T7), T7)
deleteD_in_gag(T10, tree(T10, T11, void), T11) → deleteD_out_gag(T10, tree(T10, T11, void), T11)
deleteD_in_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32)) → deleteD_out_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32))
deleteD_in_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_in_agg(T63, T60, T61))
delminA_in_agg(tree(T76, void, T77), T76, T77) → delminA_out_agg(tree(T76, void, T77), T76, T77)
delminA_in_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → U1_agg(T90, T96, T92, T93, T94, T95, delminA_in_agg(T96, T93, T94))
U1_agg(T90, T96, T92, T93, T94, T95, delminA_out_agg(T96, T93, T94)) → delminA_out_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95))
U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_out_agg(T63, T60, T61)) → deleteD_out_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62)))
deleteD_in_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → U12_gag(T121, T122, T126, T124, T125, pE_in_ggag(T121, T122, T126, T125))
pE_in_ggag(T121, T122, T126, T125) → U5_ggag(T121, T122, T126, T125, lessB_in_gg(T121, T122))
lessB_in_gg(0, s(T135)) → lessB_out_gg(0, s(T135))
lessB_in_gg(s(T140), s(T141)) → U2_gg(T140, T141, lessB_in_gg(T140, T141))
U2_gg(T140, T141, lessB_out_gg(T140, T141)) → lessB_out_gg(s(T140), s(T141))
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → pE_out_ggag(T121, T122, T126, T125)
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → U6_ggag(T121, T122, T126, T125, deleteD_in_gag(T121, T126, T125))
deleteD_in_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → U13_gag(T158, T159, T160, T163, T162, pC_in_ggag(T159, T158, T163, T162))
pC_in_ggag(T159, T158, T163, T162) → U3_ggag(T159, T158, T163, T162, lessB_in_gg(T159, T158))
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → pC_out_ggag(T159, T158, T163, T162)
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → U4_ggag(T159, T158, T163, T162, deleteD_in_gag(T158, T163, T162))
deleteD_in_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → U14_gag(T187, T182, T180, T181, deleteD_in_gag(0, T182, T181))
deleteD_in_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → U15_gag(T198, T199, T182, T180, T181, pF_in_ggag(T198, T199, T182, T181))
pF_in_ggag(T198, T199, T182, T181) → U7_ggag(T198, T199, T182, T181, lessB_in_gg(T198, T199))
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → pF_out_ggag(T198, T199, T182, T181)
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → U8_ggag(T198, T199, T182, T181, deleteD_in_gag(s(T198), T182, T181))
deleteD_in_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222)) → U16_gag(T218, T219, T220, T223, T222, pC_in_ggag(T219, T218, T223, T222))
U16_gag(T218, T219, T220, T223, T222, pC_out_ggag(T219, T218, T223, T222)) → deleteD_out_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222))
deleteD_in_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → U17_gag(T241, T233, T236, T235, deleteD_in_gag(s(T241), T236, T235))
deleteD_in_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → U18_gag(T251, T250, T233, T236, T235, pG_in_ggag(T250, T251, T236, T235))
pG_in_ggag(T250, T251, T236, T235) → U9_ggag(T250, T251, T236, T235, lessB_in_gg(T250, T251))
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → pG_out_ggag(T250, T251, T236, T235)
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → U10_ggag(T250, T251, T236, T235, deleteD_in_gag(s(T251), T236, T235))
deleteD_in_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310))) → U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_in_agg(T311, T308, T309))
U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_out_agg(T311, T308, T309)) → deleteD_out_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310)))
deleteD_in_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339)) → U20_gag(T336, T337, T341, T339, T340, pE_in_ggag(T336, T337, T341, T340))
U20_gag(T336, T337, T341, T339, T340, pE_out_ggag(T336, T337, T341, T340)) → deleteD_out_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339))
deleteD_in_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358)) → U21_gag(T354, T355, T356, T359, T358, pC_in_ggag(T355, T354, T359, T358))
U21_gag(T354, T355, T356, T359, T358, pC_out_ggag(T355, T354, T359, T358)) → deleteD_out_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358))
deleteD_in_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370)) → U22_gag(T377, T372, T370, T371, deleteD_in_gag(0, T372, T371))
deleteD_in_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370)) → U23_gag(T388, T389, T372, T370, T371, pF_in_ggag(T388, T389, T372, T371))
U23_gag(T388, T389, T372, T370, T371, pF_out_ggag(T388, T389, T372, T371)) → deleteD_out_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370))
deleteD_in_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406)) → U24_gag(T402, T403, T404, T407, T406, pC_in_ggag(T403, T402, T407, T406))
U24_gag(T402, T403, T404, T407, T406, pC_out_ggag(T403, T402, T407, T406)) → deleteD_out_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406))
deleteD_in_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419)) → U25_gag(T425, T417, T420, T419, deleteD_in_gag(s(T425), T420, T419))
deleteD_in_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419)) → U26_gag(T435, T434, T417, T420, T419, pG_in_ggag(T434, T435, T420, T419))
U26_gag(T435, T434, T417, T420, T419, pG_out_ggag(T434, T435, T420, T419)) → deleteD_out_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419))
deleteD_in_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492))) → U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_in_agg(T493, T490, T491))
U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_out_agg(T493, T490, T491)) → deleteD_out_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492)))
deleteD_in_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521)) → U28_gag(T518, T519, T523, T521, T522, pE_in_ggag(T518, T519, T523, T522))
U28_gag(T518, T519, T523, T521, T522, pE_out_ggag(T518, T519, T523, T522)) → deleteD_out_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521))
deleteD_in_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540)) → U29_gag(T536, T537, T538, T541, T540, pC_in_ggag(T537, T536, T541, T540))
U29_gag(T536, T537, T538, T541, T540, pC_out_ggag(T537, T536, T541, T540)) → deleteD_out_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540))
deleteD_in_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552)) → U30_gag(T559, T554, T552, T553, deleteD_in_gag(0, T554, T553))
deleteD_in_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552)) → U31_gag(T570, T571, T554, T552, T553, pF_in_ggag(T570, T571, T554, T553))
U31_gag(T570, T571, T554, T552, T553, pF_out_ggag(T570, T571, T554, T553)) → deleteD_out_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552))
deleteD_in_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588)) → U32_gag(T584, T585, T586, T589, T588, pC_in_ggag(T585, T584, T589, T588))
U32_gag(T584, T585, T586, T589, T588, pC_out_ggag(T585, T584, T589, T588)) → deleteD_out_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588))
deleteD_in_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601)) → U33_gag(T607, T599, T602, T601, deleteD_in_gag(s(T607), T602, T601))
deleteD_in_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601)) → U34_gag(T617, T616, T599, T602, T601, pG_in_ggag(T616, T617, T602, T601))
U34_gag(T617, T616, T599, T602, T601, pG_out_ggag(T616, T617, T602, T601)) → deleteD_out_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601))
deleteD_in_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670))) → U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_in_agg(T671, T668, T669))
U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_out_agg(T671, T668, T669)) → deleteD_out_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670)))
deleteD_in_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699)) → U36_gag(T696, T697, T701, T699, T700, pE_in_ggag(T696, T697, T701, T700))
U36_gag(T696, T697, T701, T699, T700, pE_out_ggag(T696, T697, T701, T700)) → deleteD_out_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699))
deleteD_in_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718)) → U37_gag(T714, T715, T716, T719, T718, pC_in_ggag(T715, T714, T719, T718))
U37_gag(T714, T715, T716, T719, T718, pC_out_ggag(T715, T714, T719, T718)) → deleteD_out_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718))
deleteD_in_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730)) → U38_gag(T737, T732, T730, T731, deleteD_in_gag(0, T732, T731))
deleteD_in_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730)) → U39_gag(T748, T749, T732, T730, T731, pF_in_ggag(T748, T749, T732, T731))
U39_gag(T748, T749, T732, T730, T731, pF_out_ggag(T748, T749, T732, T731)) → deleteD_out_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730))
deleteD_in_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766)) → U40_gag(T762, T763, T764, T767, T766, pC_in_ggag(T763, T762, T767, T766))
U40_gag(T762, T763, T764, T767, T766, pC_out_ggag(T763, T762, T767, T766)) → deleteD_out_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766))
deleteD_in_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779)) → U41_gag(T785, T777, T780, T779, deleteD_in_gag(s(T785), T780, T779))
deleteD_in_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779)) → U42_gag(T795, T794, T777, T780, T779, pG_in_ggag(T794, T795, T780, T779))
U42_gag(T795, T794, T777, T780, T779, pG_out_ggag(T794, T795, T780, T779)) → deleteD_out_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779))
U41_gag(T785, T777, T780, T779, deleteD_out_gag(s(T785), T780, T779)) → deleteD_out_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779))
U38_gag(T737, T732, T730, T731, deleteD_out_gag(0, T732, T731)) → deleteD_out_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730))
U33_gag(T607, T599, T602, T601, deleteD_out_gag(s(T607), T602, T601)) → deleteD_out_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601))
U30_gag(T559, T554, T552, T553, deleteD_out_gag(0, T554, T553)) → deleteD_out_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552))
U25_gag(T425, T417, T420, T419, deleteD_out_gag(s(T425), T420, T419)) → deleteD_out_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419))
U22_gag(T377, T372, T370, T371, deleteD_out_gag(0, T372, T371)) → deleteD_out_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370))
U10_ggag(T250, T251, T236, T235, deleteD_out_gag(s(T251), T236, T235)) → pG_out_ggag(T250, T251, T236, T235)
U18_gag(T251, T250, T233, T236, T235, pG_out_ggag(T250, T251, T236, T235)) → deleteD_out_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235))
U17_gag(T241, T233, T236, T235, deleteD_out_gag(s(T241), T236, T235)) → deleteD_out_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235))
U8_ggag(T198, T199, T182, T181, deleteD_out_gag(s(T198), T182, T181)) → pF_out_ggag(T198, T199, T182, T181)
U15_gag(T198, T199, T182, T180, T181, pF_out_ggag(T198, T199, T182, T181)) → deleteD_out_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180))
U14_gag(T187, T182, T180, T181, deleteD_out_gag(0, T182, T181)) → deleteD_out_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180))
U4_ggag(T159, T158, T163, T162, deleteD_out_gag(T158, T163, T162)) → pC_out_ggag(T159, T158, T163, T162)
U13_gag(T158, T159, T160, T163, T162, pC_out_ggag(T159, T158, T163, T162)) → deleteD_out_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162))
U6_ggag(T121, T122, T126, T125, deleteD_out_gag(T121, T126, T125)) → pE_out_ggag(T121, T122, T126, T125)
U12_gag(T121, T122, T126, T124, T125, pE_out_ggag(T121, T122, T126, T125)) → deleteD_out_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124))
DELMINA_IN_AGG(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → DELMINA_IN_AGG(T96, T93, T94)
DELMINA_IN_AGG(T93, tree(T90, T94, T95)) → DELMINA_IN_AGG(T93, T94)
From the DPs we obtained the following set of size-change graphs:
DELETED_IN_GAG(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → PE_IN_GGAG(T121, T122, T126, T125)
PE_IN_GGAG(T121, T122, T126, T125) → U5_GGAG(T121, T122, T126, T125, lessB_in_gg(T121, T122))
U5_GGAG(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → DELETED_IN_GAG(T121, T126, T125)
DELETED_IN_GAG(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → PC_IN_GGAG(T159, T158, T163, T162)
PC_IN_GGAG(T159, T158, T163, T162) → U3_GGAG(T159, T158, T163, T162, lessB_in_gg(T159, T158))
U3_GGAG(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → DELETED_IN_GAG(T158, T163, T162)
DELETED_IN_GAG(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → DELETED_IN_GAG(0, T182, T181)
DELETED_IN_GAG(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → PF_IN_GGAG(T198, T199, T182, T181)
PF_IN_GGAG(T198, T199, T182, T181) → U7_GGAG(T198, T199, T182, T181, lessB_in_gg(T198, T199))
U7_GGAG(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → DELETED_IN_GAG(s(T198), T182, T181)
DELETED_IN_GAG(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → DELETED_IN_GAG(s(T241), T236, T235)
DELETED_IN_GAG(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → PG_IN_GGAG(T250, T251, T236, T235)
PG_IN_GGAG(T250, T251, T236, T235) → U9_GGAG(T250, T251, T236, T235, lessB_in_gg(T250, T251))
U9_GGAG(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → DELETED_IN_GAG(s(T251), T236, T235)
deleteD_in_gag(T6, tree(T6, void, T7), T7) → deleteD_out_gag(T6, tree(T6, void, T7), T7)
deleteD_in_gag(T10, tree(T10, T11, void), T11) → deleteD_out_gag(T10, tree(T10, T11, void), T11)
deleteD_in_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32)) → deleteD_out_gag(T17, tree(T17, T18, tree(T31, void, T32)), tree(T31, T18, T32))
deleteD_in_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62))) → U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_in_agg(T63, T60, T61))
delminA_in_agg(tree(T76, void, T77), T76, T77) → delminA_out_agg(tree(T76, void, T77), T76, T77)
delminA_in_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95)) → U1_agg(T90, T96, T92, T93, T94, T95, delminA_in_agg(T96, T93, T94))
U1_agg(T90, T96, T92, T93, T94, T95, delminA_out_agg(T96, T93, T94)) → delminA_out_agg(tree(T90, T96, T92), T93, tree(T90, T94, T95))
U11_gag(T17, T18, T57, T63, T59, T60, T61, T62, delminA_out_agg(T63, T60, T61)) → deleteD_out_gag(T17, tree(T17, T18, tree(T57, T63, T59)), tree(T60, T18, tree(T57, T61, T62)))
deleteD_in_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → U12_gag(T121, T122, T126, T124, T125, pE_in_ggag(T121, T122, T126, T125))
pE_in_ggag(T121, T122, T126, T125) → U5_ggag(T121, T122, T126, T125, lessB_in_gg(T121, T122))
lessB_in_gg(0, s(T135)) → lessB_out_gg(0, s(T135))
lessB_in_gg(s(T140), s(T141)) → U2_gg(T140, T141, lessB_in_gg(T140, T141))
U2_gg(T140, T141, lessB_out_gg(T140, T141)) → lessB_out_gg(s(T140), s(T141))
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → pE_out_ggag(T121, T122, T126, T125)
U5_ggag(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → U6_ggag(T121, T122, T126, T125, deleteD_in_gag(T121, T126, T125))
deleteD_in_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → U13_gag(T158, T159, T160, T163, T162, pC_in_ggag(T159, T158, T163, T162))
pC_in_ggag(T159, T158, T163, T162) → U3_ggag(T159, T158, T163, T162, lessB_in_gg(T159, T158))
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → pC_out_ggag(T159, T158, T163, T162)
U3_ggag(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → U4_ggag(T159, T158, T163, T162, deleteD_in_gag(T158, T163, T162))
deleteD_in_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → U14_gag(T187, T182, T180, T181, deleteD_in_gag(0, T182, T181))
deleteD_in_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → U15_gag(T198, T199, T182, T180, T181, pF_in_ggag(T198, T199, T182, T181))
pF_in_ggag(T198, T199, T182, T181) → U7_ggag(T198, T199, T182, T181, lessB_in_gg(T198, T199))
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → pF_out_ggag(T198, T199, T182, T181)
U7_ggag(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → U8_ggag(T198, T199, T182, T181, deleteD_in_gag(s(T198), T182, T181))
deleteD_in_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222)) → U16_gag(T218, T219, T220, T223, T222, pC_in_ggag(T219, T218, T223, T222))
U16_gag(T218, T219, T220, T223, T222, pC_out_ggag(T219, T218, T223, T222)) → deleteD_out_gag(T218, tree(T219, T220, T223), tree(T219, T220, T222))
deleteD_in_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → U17_gag(T241, T233, T236, T235, deleteD_in_gag(s(T241), T236, T235))
deleteD_in_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → U18_gag(T251, T250, T233, T236, T235, pG_in_ggag(T250, T251, T236, T235))
pG_in_ggag(T250, T251, T236, T235) → U9_ggag(T250, T251, T236, T235, lessB_in_gg(T250, T251))
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → pG_out_ggag(T250, T251, T236, T235)
U9_ggag(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → U10_ggag(T250, T251, T236, T235, deleteD_in_gag(s(T251), T236, T235))
deleteD_in_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310))) → U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_in_agg(T311, T308, T309))
U19_gag(T265, T266, T305, T311, T307, T308, T309, T310, delminA_out_agg(T311, T308, T309)) → deleteD_out_gag(T265, tree(T265, T266, tree(T305, T311, T307)), tree(T308, T266, tree(T305, T309, T310)))
deleteD_in_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339)) → U20_gag(T336, T337, T341, T339, T340, pE_in_ggag(T336, T337, T341, T340))
U20_gag(T336, T337, T341, T339, T340, pE_out_ggag(T336, T337, T341, T340)) → deleteD_out_gag(T336, tree(T337, T341, T339), tree(T337, T340, T339))
deleteD_in_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358)) → U21_gag(T354, T355, T356, T359, T358, pC_in_ggag(T355, T354, T359, T358))
U21_gag(T354, T355, T356, T359, T358, pC_out_ggag(T355, T354, T359, T358)) → deleteD_out_gag(T354, tree(T355, T356, T359), tree(T355, T356, T358))
deleteD_in_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370)) → U22_gag(T377, T372, T370, T371, deleteD_in_gag(0, T372, T371))
deleteD_in_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370)) → U23_gag(T388, T389, T372, T370, T371, pF_in_ggag(T388, T389, T372, T371))
U23_gag(T388, T389, T372, T370, T371, pF_out_ggag(T388, T389, T372, T371)) → deleteD_out_gag(s(T388), tree(s(T389), T372, T370), tree(s(T389), T371, T370))
deleteD_in_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406)) → U24_gag(T402, T403, T404, T407, T406, pC_in_ggag(T403, T402, T407, T406))
U24_gag(T402, T403, T404, T407, T406, pC_out_ggag(T403, T402, T407, T406)) → deleteD_out_gag(T402, tree(T403, T404, T407), tree(T403, T404, T406))
deleteD_in_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419)) → U25_gag(T425, T417, T420, T419, deleteD_in_gag(s(T425), T420, T419))
deleteD_in_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419)) → U26_gag(T435, T434, T417, T420, T419, pG_in_ggag(T434, T435, T420, T419))
U26_gag(T435, T434, T417, T420, T419, pG_out_ggag(T434, T435, T420, T419)) → deleteD_out_gag(s(T435), tree(s(T434), T417, T420), tree(s(T434), T417, T419))
deleteD_in_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492))) → U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_in_agg(T493, T490, T491))
U27_gag(T447, T448, T487, T493, T489, T490, T491, T492, delminA_out_agg(T493, T490, T491)) → deleteD_out_gag(T447, tree(T447, T448, tree(T487, T493, T489)), tree(T490, T448, tree(T487, T491, T492)))
deleteD_in_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521)) → U28_gag(T518, T519, T523, T521, T522, pE_in_ggag(T518, T519, T523, T522))
U28_gag(T518, T519, T523, T521, T522, pE_out_ggag(T518, T519, T523, T522)) → deleteD_out_gag(T518, tree(T519, T523, T521), tree(T519, T522, T521))
deleteD_in_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540)) → U29_gag(T536, T537, T538, T541, T540, pC_in_ggag(T537, T536, T541, T540))
U29_gag(T536, T537, T538, T541, T540, pC_out_ggag(T537, T536, T541, T540)) → deleteD_out_gag(T536, tree(T537, T538, T541), tree(T537, T538, T540))
deleteD_in_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552)) → U30_gag(T559, T554, T552, T553, deleteD_in_gag(0, T554, T553))
deleteD_in_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552)) → U31_gag(T570, T571, T554, T552, T553, pF_in_ggag(T570, T571, T554, T553))
U31_gag(T570, T571, T554, T552, T553, pF_out_ggag(T570, T571, T554, T553)) → deleteD_out_gag(s(T570), tree(s(T571), T554, T552), tree(s(T571), T553, T552))
deleteD_in_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588)) → U32_gag(T584, T585, T586, T589, T588, pC_in_ggag(T585, T584, T589, T588))
U32_gag(T584, T585, T586, T589, T588, pC_out_ggag(T585, T584, T589, T588)) → deleteD_out_gag(T584, tree(T585, T586, T589), tree(T585, T586, T588))
deleteD_in_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601)) → U33_gag(T607, T599, T602, T601, deleteD_in_gag(s(T607), T602, T601))
deleteD_in_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601)) → U34_gag(T617, T616, T599, T602, T601, pG_in_ggag(T616, T617, T602, T601))
U34_gag(T617, T616, T599, T602, T601, pG_out_ggag(T616, T617, T602, T601)) → deleteD_out_gag(s(T617), tree(s(T616), T599, T602), tree(s(T616), T599, T601))
deleteD_in_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670))) → U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_in_agg(T671, T668, T669))
U35_gag(T625, T626, T665, T671, T667, T668, T669, T670, delminA_out_agg(T671, T668, T669)) → deleteD_out_gag(T625, tree(T625, T626, tree(T665, T671, T667)), tree(T668, T626, tree(T665, T669, T670)))
deleteD_in_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699)) → U36_gag(T696, T697, T701, T699, T700, pE_in_ggag(T696, T697, T701, T700))
U36_gag(T696, T697, T701, T699, T700, pE_out_ggag(T696, T697, T701, T700)) → deleteD_out_gag(T696, tree(T697, T701, T699), tree(T697, T700, T699))
deleteD_in_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718)) → U37_gag(T714, T715, T716, T719, T718, pC_in_ggag(T715, T714, T719, T718))
U37_gag(T714, T715, T716, T719, T718, pC_out_ggag(T715, T714, T719, T718)) → deleteD_out_gag(T714, tree(T715, T716, T719), tree(T715, T716, T718))
deleteD_in_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730)) → U38_gag(T737, T732, T730, T731, deleteD_in_gag(0, T732, T731))
deleteD_in_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730)) → U39_gag(T748, T749, T732, T730, T731, pF_in_ggag(T748, T749, T732, T731))
U39_gag(T748, T749, T732, T730, T731, pF_out_ggag(T748, T749, T732, T731)) → deleteD_out_gag(s(T748), tree(s(T749), T732, T730), tree(s(T749), T731, T730))
deleteD_in_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766)) → U40_gag(T762, T763, T764, T767, T766, pC_in_ggag(T763, T762, T767, T766))
U40_gag(T762, T763, T764, T767, T766, pC_out_ggag(T763, T762, T767, T766)) → deleteD_out_gag(T762, tree(T763, T764, T767), tree(T763, T764, T766))
deleteD_in_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779)) → U41_gag(T785, T777, T780, T779, deleteD_in_gag(s(T785), T780, T779))
deleteD_in_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779)) → U42_gag(T795, T794, T777, T780, T779, pG_in_ggag(T794, T795, T780, T779))
U42_gag(T795, T794, T777, T780, T779, pG_out_ggag(T794, T795, T780, T779)) → deleteD_out_gag(s(T795), tree(s(T794), T777, T780), tree(s(T794), T777, T779))
U41_gag(T785, T777, T780, T779, deleteD_out_gag(s(T785), T780, T779)) → deleteD_out_gag(s(T785), tree(0, T777, T780), tree(0, T777, T779))
U38_gag(T737, T732, T730, T731, deleteD_out_gag(0, T732, T731)) → deleteD_out_gag(0, tree(s(T737), T732, T730), tree(s(T737), T731, T730))
U33_gag(T607, T599, T602, T601, deleteD_out_gag(s(T607), T602, T601)) → deleteD_out_gag(s(T607), tree(0, T599, T602), tree(0, T599, T601))
U30_gag(T559, T554, T552, T553, deleteD_out_gag(0, T554, T553)) → deleteD_out_gag(0, tree(s(T559), T554, T552), tree(s(T559), T553, T552))
U25_gag(T425, T417, T420, T419, deleteD_out_gag(s(T425), T420, T419)) → deleteD_out_gag(s(T425), tree(0, T417, T420), tree(0, T417, T419))
U22_gag(T377, T372, T370, T371, deleteD_out_gag(0, T372, T371)) → deleteD_out_gag(0, tree(s(T377), T372, T370), tree(s(T377), T371, T370))
U10_ggag(T250, T251, T236, T235, deleteD_out_gag(s(T251), T236, T235)) → pG_out_ggag(T250, T251, T236, T235)
U18_gag(T251, T250, T233, T236, T235, pG_out_ggag(T250, T251, T236, T235)) → deleteD_out_gag(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235))
U17_gag(T241, T233, T236, T235, deleteD_out_gag(s(T241), T236, T235)) → deleteD_out_gag(s(T241), tree(0, T233, T236), tree(0, T233, T235))
U8_ggag(T198, T199, T182, T181, deleteD_out_gag(s(T198), T182, T181)) → pF_out_ggag(T198, T199, T182, T181)
U15_gag(T198, T199, T182, T180, T181, pF_out_ggag(T198, T199, T182, T181)) → deleteD_out_gag(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180))
U14_gag(T187, T182, T180, T181, deleteD_out_gag(0, T182, T181)) → deleteD_out_gag(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180))
U4_ggag(T159, T158, T163, T162, deleteD_out_gag(T158, T163, T162)) → pC_out_ggag(T159, T158, T163, T162)
U13_gag(T158, T159, T160, T163, T162, pC_out_ggag(T159, T158, T163, T162)) → deleteD_out_gag(T158, tree(T159, T160, T163), tree(T159, T160, T162))
U6_ggag(T121, T122, T126, T125, deleteD_out_gag(T121, T126, T125)) → pE_out_ggag(T121, T122, T126, T125)
U12_gag(T121, T122, T126, T124, T125, pE_out_ggag(T121, T122, T126, T125)) → deleteD_out_gag(T121, tree(T122, T126, T124), tree(T122, T125, T124))
DELETED_IN_GAG(T121, tree(T122, T126, T124), tree(T122, T125, T124)) → PE_IN_GGAG(T121, T122, T126, T125)
PE_IN_GGAG(T121, T122, T126, T125) → U5_GGAG(T121, T122, T126, T125, lessB_in_gg(T121, T122))
U5_GGAG(T121, T122, T126, T125, lessB_out_gg(T121, T122)) → DELETED_IN_GAG(T121, T126, T125)
DELETED_IN_GAG(T158, tree(T159, T160, T163), tree(T159, T160, T162)) → PC_IN_GGAG(T159, T158, T163, T162)
PC_IN_GGAG(T159, T158, T163, T162) → U3_GGAG(T159, T158, T163, T162, lessB_in_gg(T159, T158))
U3_GGAG(T159, T158, T163, T162, lessB_out_gg(T159, T158)) → DELETED_IN_GAG(T158, T163, T162)
DELETED_IN_GAG(0, tree(s(T187), T182, T180), tree(s(T187), T181, T180)) → DELETED_IN_GAG(0, T182, T181)
DELETED_IN_GAG(s(T198), tree(s(T199), T182, T180), tree(s(T199), T181, T180)) → PF_IN_GGAG(T198, T199, T182, T181)
PF_IN_GGAG(T198, T199, T182, T181) → U7_GGAG(T198, T199, T182, T181, lessB_in_gg(T198, T199))
U7_GGAG(T198, T199, T182, T181, lessB_out_gg(T198, T199)) → DELETED_IN_GAG(s(T198), T182, T181)
DELETED_IN_GAG(s(T241), tree(0, T233, T236), tree(0, T233, T235)) → DELETED_IN_GAG(s(T241), T236, T235)
DELETED_IN_GAG(s(T251), tree(s(T250), T233, T236), tree(s(T250), T233, T235)) → PG_IN_GGAG(T250, T251, T236, T235)
PG_IN_GGAG(T250, T251, T236, T235) → U9_GGAG(T250, T251, T236, T235, lessB_in_gg(T250, T251))
U9_GGAG(T250, T251, T236, T235, lessB_out_gg(T250, T251)) → DELETED_IN_GAG(s(T251), T236, T235)
lessB_in_gg(0, s(T135)) → lessB_out_gg(0, s(T135))
lessB_in_gg(s(T140), s(T141)) → U2_gg(T140, T141, lessB_in_gg(T140, T141))
U2_gg(T140, T141, lessB_out_gg(T140, T141)) → lessB_out_gg(s(T140), s(T141))
DELETED_IN_GAG(T121, tree(T122, T125, T124)) → PE_IN_GGAG(T121, T122, T125)
PE_IN_GGAG(T121, T122, T125) → U5_GGAG(T121, T122, T125, lessB_in_gg(T121, T122))
U5_GGAG(T121, T122, T125, lessB_out_gg(T121, T122)) → DELETED_IN_GAG(T121, T125)
DELETED_IN_GAG(T158, tree(T159, T160, T162)) → PC_IN_GGAG(T159, T158, T162)
PC_IN_GGAG(T159, T158, T162) → U3_GGAG(T159, T158, T162, lessB_in_gg(T159, T158))
U3_GGAG(T159, T158, T162, lessB_out_gg(T159, T158)) → DELETED_IN_GAG(T158, T162)
DELETED_IN_GAG(0, tree(s(T187), T181, T180)) → DELETED_IN_GAG(0, T181)
DELETED_IN_GAG(s(T198), tree(s(T199), T181, T180)) → PF_IN_GGAG(T198, T199, T181)
PF_IN_GGAG(T198, T199, T181) → U7_GGAG(T198, T199, T181, lessB_in_gg(T198, T199))
U7_GGAG(T198, T199, T181, lessB_out_gg(T198, T199)) → DELETED_IN_GAG(s(T198), T181)
DELETED_IN_GAG(s(T241), tree(0, T233, T235)) → DELETED_IN_GAG(s(T241), T235)
DELETED_IN_GAG(s(T251), tree(s(T250), T233, T235)) → PG_IN_GGAG(T250, T251, T235)
PG_IN_GGAG(T250, T251, T235) → U9_GGAG(T250, T251, T235, lessB_in_gg(T250, T251))
U9_GGAG(T250, T251, T235, lessB_out_gg(T250, T251)) → DELETED_IN_GAG(s(T251), T235)
lessB_in_gg(0, s(T135)) → lessB_out_gg(0, s(T135))
lessB_in_gg(s(T140), s(T141)) → U2_gg(T140, T141, lessB_in_gg(T140, T141))
U2_gg(T140, T141, lessB_out_gg(T140, T141)) → lessB_out_gg(s(T140), s(T141))
lessB_in_gg(x0, x1)
U2_gg(x0, x1, x2)
From the DPs we obtained the following set of size-change graphs: